Id\{$T$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Id